solving equations mathematics algebra learning logic geometry trigonometry mathematical logic math second order equations philosophy math logic education calculus